do while loop in c programming example